search problem in artificial intelligence